html > * {
  font-family: "Consolas", "Microsoft Yahei", Arial, monospace;
  font-size: 14px;
}
